window: Emit GTK_CROSSING_ACTIVE crossing events
authorMatthias Clasen <mclasen@redhat.com>
Thu, 30 Jul 2020 17:22:26 +0000 (13:22 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 30 Jul 2020 17:22:26 +0000 (13:22 -0400)
commitb0d40403e1063a0ab24d715e45680a112b19cbc6
tree759378bdb6876d21c71e4cba4224b18b508472e7
parent12170acf464ab203e7a6a099ae7334de070d19e9
window: Emit GTK_CROSSING_ACTIVE crossing events

Emit crossing events when the active window changes.
We don't want to emit GTK_CROSSING_FOCUS events, since
every window has its own focus location (focus does not
jump from window to window), so we use the new
GTK_CROSSING_ACTIVE type of crossing event for this.
gtk/gtkwindow.c